VIl Simpósio Brasileiro de Engenharia de Software Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations

ln this paper we present algebraic high-level nets: a combination of algebraic specifications and Pctri nets. Algebraic specifications are used to specify the data.-structure and Petri nets to specify the data.-O.ow. This combination is a very powerful description technique. Moreover we introduce net transformations, net fusions and net unions as structuring techniques. Fusions and unions can be considered as horizontal structuring mechan.isms in the sense that we combine nets to obtain a. new net consisting of the given components. Fusions capture the notion of sharing of subnets, while unions are kinds of net composition. Net transforma.tions are based on conccpts from gra.ph grammars because net refinements are defined via. productions. Transformations can be seen as high-level vertical refinements. Moreover we show compa.tibility between these techniques, i.e. in our framework vertical refinement a.nd horizontal structuring of ncts are compatible.